S. Purushothaman Iyer: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

1

A NEW TYPE OF PUSHDOWN AUTOMATA ON INFINITE TREES

PENG, WUXU, IYER, S. PURUSHOTHAMAN

Journal:

International Journal of Foundations of Computer Science

Year:

1995

Language:

english

File:

PDF, 871 KB

english, 1995

2

Minimizing flux spatter during lead‐free reflow assembly

Manjunath, Deepak, Iyer, Satyanarayan, Eckel, Shawn, Damodaran, Purushothaman, Srihari, Krishnaswami

Journal:

Soldering & Surface Mount Technology

Year:

2006

Language:

english

File:

PDF, 358 KB

english, 2006

3

Introductory paper

S. Purushothaman Iyer, David Hislop, Paul L. Jones, Jaime Lee, Frederick Pearce, Stephen Van Albert

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2004

Language:

english

File:

PDF, 71 KB

english, 2004

4

[ACM Press the 2nd ACM SIGSOFT symposium - New Orleans, Louisiana, United States (1994.12.06-1994.12.09)] Proceedings of the 2nd ACM SIGSOFT symposium on Foundations of software engineering - SIGSOFT '94 - Duplication, insertion and lossiness errors in unreliable communication channels

Cécé, Gérard, Finkel, Alain, Iyer, S. Purushothaman

Year:

1994

Language:

english

File:

PDF, 680 KB

english, 1994

5

The role of observations in probabilistic open systems

Murali Narasimha, Rance Cleaveland, Purushothaman Iyer

Journal:

Electronic Notes in Theoretical Computer Science

Year:

1999

Language:

english

File:

PDF, 626 KB

english, 1999

6

A formal methods approach to medical device review

Jetley, R., Purushothaman Iyer, S., Jones, P.

Journal:

Year:

2006

Language:

english

File:

PDF, 242 KB

english, 2006

7

A case study on applying formal methods to medical devices: computer-aided resuscitation algorithm

Raoul Praful Jetley, Cohan Carlos, S. Purushothaman Iyer

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2004

Language:

english

File:

PDF, 225 KB

english, 2004

8

Unreliable Channels Are Easier to Verify Than Perfect Channels

Gérard Cécé, Alain Finkel, S. Purushothaman Iyer

Journal:

Information and Computation

Year:

1996

Language:

english

File:

PDF, 565 KB

english, 1996

9

Simulating perfect channels with probabilistic lossy channels

Parosh Abdulla, Christel Baier, S. Purushothaman Iyer, Bengt Jonsson

Journal:

Information and Computation

Year:

2005

Language:

english

File:

PDF, 266 KB

english, 2005

10

Duplication, insertion and lossiness errors in unreliable communication channels

Cécé, Gérard, Finkel, Alain, Iyer, S. Purushothaman

Journal:

ACM SIGSOFT Software Engineering Notes

Year:

1994

Language:

english

File:

PDF, 680 KB

english, 1994

11

An operational semantics of sharing in lazy evaluation

Jill Seaman, S.Purushothaman Iyer

Journal:

Science of Computer Programming

Year:

1996

Language:

english

File:

PDF, 2.22 MB

english, 1996

12

[ACM Press the 2nd ACM symposium - Singapore (2007.03.20-2007.03.22)] Proceedings of the 2nd ACM symposium on Information, computer and communications security - ASIACCS '07 - Analyzing network traffic to detect self-decrypting exploit code

Zhang, Qinghua, Reeves, Douglas S., Ning, Peng, Iyer, S. Purushothaman

Year:

2007

Language:

english

File:

PDF, 263 KB

english, 2007

13

SAT-Solving the Coverability Problem for Petri Nets

ParoshAziz Abdulla, S.Purushothaman Iyer, Aletta Nylén

Journal:

Formal Methods in System Design

Year:

2004

Language:

english

File:

PDF, 148 KB

english, 2004

14

Probabilistic temporal logics via the modal mu-calculus

Rance Cleaveland, S. Purushothaman Iyer, Murali Narasimha

Journal:

Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 389 KB

english, 2005

15

Well-abstracted transition systems: application to FIFO automata

Alain Finkel, S. Purushothaman Iyer, Grégoire Sutre

Journal:

Information and Computation

Year:

2003

Language:

english

File:

PDF, 313 KB

english, 2003

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@1delivery.pm

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски